#ifndef __OS_DISPATCHER_H__
#define __OS_DISPATCHER_H__
void osDispatcherInit(void);
void osDispatcher(void);
extern volatile unsigned long timestamp;
#endif
